Update tools.h