misc cleanup on namespacing-page.html