Minor fixes in last post