Minor changes

Sections 5.3, 1.2