fix link to documentation

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