fix bug in travis config