Issue #4323: Fix jsDoc warning in extensions