Make enforcer happy