small fixes to gettingstarted.html