Minor bug fix in InterpreterSimulator