Fix a small masking error in THUMB.12