Minor corrections in last post