Minor DEFASM tweak.