Fix accidental comment paste.