Minor corrections to comments and help