Travis CI: fix syntax error