fixed previously injector node mappings

Previous node matching was injective. Now it isn't, according to
specification. Small corrections in some comments.