Bug patch in interpreter