Checking coverage helped me spot a subtle problem