Correct doc link

@mhoeber, can you review this?