Work around bug in coverage.py