Fix ArgumentChecking inclusion