PR fixups