minor fix in travis script