fix bug in CORE_FETCH_INST