A fixed up InterpreterMH