bug in travis file