Patching port issue in demo code, ran reindent.py