On Monday, moderators on the /r/politics subreddit censored a poll showing Donald Trump holding a five-point lead over Hillary Clinton in Florida.

The original poster, Reddit user “bostonfan148,” received a message from the moderators that his post had been taken down for having an improper title. (RELATED: Reddit Bans Users, Deletes Comments Saying Orlando Shooter Was Muslim)

However, user “Mysecondaccoubnt_2” noticed that the original post’s title — “Trump 47-Clinton 42” — did in fact match the topline of the JMC poll included in the corresponding link.

Multiple other users on the thread noted it isn’t out of the ordinary for the /r/politics moderators to take down posts that aren’t overtly anti-Trump.

Follow Datoc on Twitter and Facebook