Fix namespace

Fix a bug with namespace that I pushed earlier