Minor edits for #182.