repairing SDC.h