shorter table of contents and small corrections