push fixes into inst_src