fixup! Ticket #3076: copy/move doesn't work if num_history_items_recorded=0.