Minor edits for #139.