bh: minor edits.