Fix travis-ci syntax