CS 241: minor changes to section 12.