another fix to travis badge