Fix spelling mistake in doc comment

About as trivial as it gets.