Haha, don't worry—there really was a bug, but I've already run a script to fix it!

Thanks for noticing that and letting me know!