Pinochet dies. Good riddance.