Minor edits for #140.