Delete pretty.py