Corrected nasty info bug: same_info should copy the value, and not the reference.