minor fixes for comment header