Adjusted the typesetting to the previous post.