minor updates to Interpreter