Fix a coveralls setting