added minor changes to mutemanager