clean up util.h