FIx mini-bug in firefox