Fixed #3612: correct a jsDoc mistake.