minor readability tweak