minor stylistic fixups