diff --check: minor fixups