diff --git a/article/proceedings.tex b/article/proceedings.tex
index 8bb51ebeb7b3c8b939fe8149f618f4f299bd8495..354b6ec3f2fb4714e7770a9856889d511e7134f3 100644
--- a/article/proceedings.tex
+++ b/article/proceedings.tex
@@ -330,7 +330,7 @@ Distinction filters/Bots: what tasks are handled by bots and what by filters (an
 
 What happens when an editor triggers an edit filter?
 
-(Interesting side note: editing via TOR is disallowed: "Your IP has been recognised as a TOR exit node. We disallow this to prevent abuse" or similar, check again for wording)
+(Interesting side note: editing via TOR is disallowed: "Your IP has been recognised as a TOR exit node. We disallow this to prevent abuse" or similar, check again for wording. Compare: "Users of the Tor anonymity network will show the IP address of a Tor "exit node". Lists of known Tor exit nodes are available from the Tor Project's Tor Bulk Exit List exporting tool." \url{https://en.wikipedia.org/wiki/Wikipedia:Vandalism})
 
 If the filter is set to disallow, a specific template is shown to the editor: "An automated filter has identified this edit as potentially unconstructive, so it has been disallowed. If this edit is constructive, please report this error. Disruptive editing may result in a block from editing."
 "report this error" links to the FalsePositives page: \url{https://en.wikipedia.org/wiki/Wikipedia:Edit_filter/False_positives}