bugfix: apply a substitution that used to be forgotten

(bug found by Rasmus)