some minor corrections to post