Fix some auto-generated references
Fix some auto-generated references in Ch. 12 and 13
Work on 9.4.1
Work on 9.4.1
Work on 9.4.1