#14595 Minor fix in namespace declaration.