Right, very intelligent of me.

The reason the fix didn’t work is that I’d put an unclosed <div> tag in the content of my post. Tch.