Issue #4323: Fix issues for jsDoc