Fix error when substituting arguments