Minor edits for #92.