issue #5972: add document comments