Fixed typos, revised mini-intro