updated header of ex_explorer