more on --mod and --replace-faulty