That is in fact a bug, one that I noticed the day after submission, unfortunately. Thanks for playing!
