Minor tweak for readability