Another stylistic fix.