Removed a bogus mcrl2