fix FictitiousPlay