Fix comment typo introduced in 6368362f44