Fix coverage measurement under Python 3.