Travis-CI: Fix typo