This is the first line in save_copy, so it's not needed here.