Fix typo in greater-than substitution