Correct ArgumentChecking include