#981: &default record only creates one record

Sounds good to me. It should optimize for the constant case though
where a copy isn't needed.