A few minor changes.