Correction to substituting.rkt