Correct some cut-and-pasted comments