Minor update to our Travis-CI script.