Fixing a test

I forgot a test failing when I was testing the coverage tool. I'm
so sorry.