Corrects the Travis-CI badge