Minor fix to namespace