De-corrupting symbols.py