Ugh, sorry, that totally passed me. It's fixed and will be up on our next deploy. And I totally support your pedantic off-topic remark, so no worries :)