minor: fixing duplicate external link warning