Fix up a comment