travis ci badge fix