Update tools.html

resolve bug 1028659