Bug fix in travis