minor stylistic tweaks