Minor stylistic changes.