CritBit: Some minor cleanups.