save_tuple(): Minor rewriting, and added a comment about the subtlety

created by recursive tuples.