Fix the travis badge

It's trivial fix.