Is this not redundant? Assuming `originatingElementsByAnn.get(annName)` is nonempty, then the error message without an `Element` argument should not _also_ be printed.