minor stylistic changes