Fix broken tag in docs.

When originally introduced that tag pointed to section 4.
Merge pull request #1074 from lucc/doc

Fix broken tag in docs.