Small fix to typing of substitution