Fix cross-reference in documentation