changes to debug.py