A small stylistic fix