Little fix in a comment