Fixed a Travis CI bug.