Fixed typo in _Substitution.__str__.
Added missing return in reconstruct_recursive.