removed a bit of left-over debug code