mu-mmint: Fix refinement bug with diagram elements in default positions