Fix comment typo noticed by jrick@