Hm, just noticed that I did not install coverage in my venv.

With the last batch of commits I pushed coverage from 93% to 100%.