Tweak syntax in intro docs
Merge pull request #4382 from jryans/devel

Tweak syntax in intro docs