It got edited and is now fixed. You don't see if something got edited if you don't manually add "Edit" to the post.