[manicdee]

That's really an irrelevant piece of nitpicking, especially given the context being that someone was fired for calling neo-Nazis, Nazis.