BAI: prettified output of DuplicateClaimedPaperException