Fix accidental change in comments