Fix the travis badge.