Fix issue with coverall