Minor stylistic tweak