Fixed a bug when pickling ohsumed