Modify dice.py.