Fix pointer imbalance in do_dotcode.