Fix comment typo pointed out by maslen on IRC.