Review Request 618: [2/2] spec: fix namespaces