Add Repairsymbol for #30