minor doc fix for ITools