Added known bug in mimasim