minor core_ext fixes