Fixing a documentation glitch; thanks for catching this, @yellowcap.