CS 241: minor changes to section 13.