minor fixes in first post