Fix failing Travis CI test