small fix in extTools module