make a fix for Mozilla