gypsum.pike: Correct a comment