Fix a mistake in a jsdoc annotation