minor fixes to mig2mozdef