Two small stylistic tweaks