PR fixup: add comment