Minor correction to a comment