Fix EOF in symbol.py