fix a documentation warning