Fixing travis ci badge