Minor update to our Travis CI file.