fix tools.pl text