diff check seems to preserve errors, next: annotations