Fix Coveralls-related error :(