Yes, he was a huge jerk. It is unfortuantely true that often the greatest geniuses are. Einstein was horrible to his first wife. Picasso was horrible to all his wives and children. Churchill was a racist, but he saved England. We often put leaders on a moral pedestal, but they usually do not belong there. Still, we need them.