little fix in exflag target