Update benlang.py