Fixed some minor glitches from 15.6, page 93