fix minor bug in interpreter