mu-mmint: Change some decision outline labels