fix bug in travis script