minor readability tweak.