More tests.
Make AnnotationFormatErrors testable.