some corrections in various places