Section 10.4.1.2
Typos – Mantis item 1332

In 10.4.1.2, REPLACE

if (e matches (tagged Jmp .j),

j matches (tagged JmpC '{cc:.c,addr:.a}))

... // c and a can be used here

else

...

WITH

if (e matches (tagged Jmp .j),&&&

j matches (tagged JmpC '{cc:.c,addr:.a}))

... // c and a can be used here

else

...