minor tuning up of getting-started