CircleCI small performance tweak