diff --check: do not get confused by new blank lines in the middle