Update tool.php

Better naming