This isn't an API doc comment, so it shouldn't start with `/**`.