minor space niggle after ||