fix mim-branching markers; done