fixed bug in travis script