some additions and small corrections