Polishing intro; fixing mistakes.