Apparently an empty refinement means 'don't widen me'.