Small style changes, and fix a typo.