Fix a shell typo.
Merge pull request #1177 from brendandburns/travis

Fix a shell typo.