parser.py: tabify