I edited the wrong post box! Thanks to Robert Whittaker for spotting my mistake.

changeset/169446140

Yes, I did make exactly the error you think I made! Good catch, thank you. I'll revert this change and update the correct post box.