bug in travis