Update tool.php

minor typo