fix a typo in travis script