[Bug #8572] Minor jsDoc fix