Little change in travis-ci file