bugfix in travis file.