Minor /ci tweak.