small changes in doc/comments