Markup nits.

Fixes/index improvements from Michael Ernst <mernst@cs.washington.edu>.
1 file changed