- Correction of dout() debuglevels, removed some printfs().