Document some minor changes made to the restart file.