Havel has a point.