CS 241: minor changes to section 9.