fix link to documentation

Not really a commit worthy a pull request, but then again, let's practice git ;-)