Minor stylistic fix