Minor stylistic fixes.