One more namespace fix in the documentation