Patch suggested by Xinzeng Feng <xf39@cornell.edu>: Fix a mistake in a code example.