Minor edits for #194.