Travis: fix bash syntax error