minor fix to interp/demo.py