Minor edits for #111.