minor stylistic fix