Fix auto-indent for Python. Remove pretty-symbols.