Fixed documentation of restart in restart.dox file.