Fix typo.  Improve style modestly.