Fix bugs found by the oracle.