Minor improvements to Getting Started's section 4