fixes typo in travis script