Minor clean-up to OrderBook.