fix a typo in travis file, this should be improved