tiny fixes for README and header comment-section.