fix an internal crosslink missing its #