fix tiny glitch in Demo.py