Fixed some infelicities.