Fix namespace formatting in public header