Remove the unused second argument to `substitute_at`

Oh hey, we got to remove some code because of that!