make FF happy