Fix ignoring of skipped tools

I broke this in #16