Fix typos for TravisCI