How do we know this is Barrett?
There are lot’s of Devlins out there, probably more as a last name than a first.
Are there other texts that make this clear?
Try THIS on (next post below, for active link):
https://theconservativetreehouse.com/2018/01/26/controversial-fbi-officials-linked-to-wall-street-journal-and-washington-post-leaks/