Minor edit (comment)