Update comment about TYPECHECK argument assumptions.