fix for travis
travis badge