fix ambiguity in substitution.k
Merge pull request #1147 from dwightguth/substitution2

fix ambiguity in substitution.k