CI/Travis: Fix typo added in previous commit