Fix bug in travis file