Fixup to an old post's formatting