Work around what appears to be a bug in coverage.py :-S