fix travis ci badge