fix bug in smallest_oracle.py