removed some DEBUGs and set DEBUGing off