EDITORIAL: Fixed a typo.