fix wrong TOD file names in doc