iosym.py: some changes I don't remember