Update namespace of permalink example

To be consistent with the renaming at 6b0a3142c2408c8aa1f61329ba2d061e2480fe42