Correct def of ClassDef.