Minor changes to the quickstart.html document.