Clean up a Travis CI warning