Minor, but this is not a jsdoc comment (doesn't really matter). Elsewhere, we've use `//` for non-jsdoc comments.