Fixing listing of deleted tools.

Thanks Andreas Grabs for reporting