Several minor corrections