fix broken html link in documentation