small cosmetic change to the last paragraph.