Very slight code simplification