Thanks for pointing this out! Committed a fix.