fix bug in hidden interpreter