Fix a few minor issues in the Getting started document