Fixed a function signature in tools.h