Fix core_ext