fix bug in F_SAME_DOMAIN module