CS 240: minor changes to section 10.