Oops, fix Coveralls again...