work around FF bug