Minor fix to the "getting started" documentation