Minor updates to the Quickstart section.