Minor fixes for Tools chapter