Minor fix for namespace