fix minor link problem in docs