adjust some copyright notices, etc..