Simplify the documentation of argument substitution