small stylistic cleanups