oops, fix mistaken repo for coveralls