which accesses one bit of the 32 bit Power ISA v3.0B
 Condition Register).
 
-
 `CR{n}` refers to `CR0` when `n=0` and consequently, for CR0-7, is defined, in v3.0B pseudocode, as:
 
      CR{7-n} = CR[32+n*4:35+n*4]
     # finally get the bit from the CR.
     CR_bit = (CR_reg & (1<<bit_index)) != 0
 
-When it comes to applying SV, it is the *CR Field* number `CR\_reg`
+When it comes to applying SV, it is the *CR Field* number `CR_reg`
 to which SV EXTRA2/3
-applies, **not** the `CR\_bit` portion (bits 3-4):
+applies, **not** the `CR_bit` portion (bits 3-4):
 
     if extra3_mode:
         spec = EXTRA3