Stylistic tweaks following review comments