You're right that defamation is generally a civil tort and not a crime (generally, that is, in the US; I don't know about the jurisdiction in question), and so the police should not have been involved. Thanks!