A small performance tweak.