Fixed some cruft in the Travis CI config file.