fix a typo in substitutor