Minor stylistic fix.