Fixed a small English-language mistake in code comments