Minor fixes to the last post