Slight stylistic fix.