SERVER-15505 fix namespacing issue