slight stylistic tweak