build fix for #13451. Declare missing attribute.