Fixed the denotation of apply_subst.