correction of a type in comments