Firefox should know better