Update risch.py