סימן קכט סעיף ד

בְּשַׁבָּת עַרְבִית, בְּבִרְכַּת מֵעֵין שֶׁבַע מָגֵן אָבוֹת וְכוּ', אוֹמְרִים גַּם כֵּן בִּמְקוֹם הָאֵל הָקָּדוֹשׁ, הַמֶּלֶךְ הַקָּדוֹשׁ. וְאִם טָעָה שְּׁלִיחַ הַצִבּוּר וְאָמַר הָאֵל הַקָּדוֹשׁ, אִם נִזְכַּר מִיָּד תּוֹךְ כְּדֵי דִּבּוּר, חוֹזֵר וְאוֹמֵר הַמֶּלֶךְ הַקָּדוֹש וְכוּ', אֲבָל לְאַחַר כָּךְ, אֵינוֹ חוֹזֵר (פרי חדש ופרי מגדים).

In the Maariv service on Friday night, in the abridged form of the seven berachos, in Magein avos (Shield of our forefathers etc.) you also say, instead of Hakeil hakadosh the words Hamelech hakadosh. If the Chazzan made an error and said Hakeil hakadosh, then, if he becomes aware of it immediately, within the time span needed for a short greeting, he should say Hamelech hakadosh etc.; but if he becomes aware of it later he need not repeat the berachah.

תנא דבי אליהו כל השונה הלכות בכל יום מובטח לו שהוא בן העולם הבא שנאמר הליכות עולם לו אל תקרי הליכות אלא הלכות (נדה ע"ג.)