some corrections, minor additions