Fix an old namespace issue