This autocorrect is still in effect, btw.
― Tuomas, Thursday, 7 January 2016 15:10 (eight years ago) link
Fixed.
― mod, Thursday, 7 January 2016 15:45 (eight years ago) link