One more Travis CI fix