Correct examples and reword a few things in Getting Started section 6.5