Trivial stylistic fix