Fix a substitution error