Revised slightly.