Minor stylistic changes