Fix tools example.