A bit of cleanup in the tools folder.