Fixing up a linking error in the documentation.