PR comment fixups.