Minor edits for #195.