Travis-CI: typo