Minor fixes in floating point post.