some additions and corrections