Minor write-up edits around start of code section.