fixed use of the mixin operation for refinements