updated syntax of travis config