Fix a cross-reference to another document section

There is a broken link in the current documentation as the wrong syntax is used for a cross-reference.