(Fsubstitute_in_file_name): Fix up computation of maximum