fixing the travis badge … %!$&