Oh, good catch! Insane that this is happening in real-world files, but it's of course perfectly legal. Thanks for fixing!