Corrections to substituting.rkt