Minor cleaning up of our Travis-CI script.