risolti bug random