Fix namespace

I am very stupid... How could I miss that???