small stylistic adjustments.