Fix incorrect Travis badge.
[ci skip]