Minor stylistic clean-up.