issue #18668: tweaks to jsdoc