I propose that nobody should be downvoted for making a mistake that Aumann made. :)

What about mistakes that he continues to make? ;)

More generally, although I didn't vote Vladimir down (I have a general policy against voting down comments in conversations I'm actively involved in) I'm perfectly happy to vote down mistakes regardless of whether someone smart has made them before.