Fix bash syntax error (Travis CI)