add doc comment for #9517