Add comment for workaround of FF bug 151142