CS 240: trivial changes to section 15.