Fix for coverage on mac