Fix a comment (to avoid next conflict when merging to jsd2)