Bug corrections in CoreIO