Minor stylistic improvement.