fix for #5223

Problem with namespace