minor correction in a comment