minor additions and corrections