CS 241: indentation fix in section 7.3.1.