Minor change of a comment