random doesn't work in travis, I guess