[#42674731] Fixes compilation error