Minor stylistic updates.