Syntax error in setup docs (fixed, but not on website)

[Erik]

It looks like a fix from 8 months ago never made it into the built site:
093294c#diff-1a523bd9fa0dbf998008b37579210e12L14

[Phil Pirozhkov]

Thanks for the heads up. gh-pages branch has been rebuilt and the pages were redeployed.