Fixed a bug in a tool test. Now with more coverage.