small stylistic cleanup