remove some debug code, synmbol.