PR: fixup PR comments