Update tools.rst

add comma, emilien had an issue with this