Fix digits_oracle.py