Typos, few additions