Hopefully fixed highlighting in latest post.