style; remove debug code