Done debugging FF bug