Fix a small issue with coveralls reporting.