Minor edits for #183.