Correcting namespace

It appears to have been accidentally modified by a previous commit.