fix #23366: yet another capitalization fix