obsolete debug code removed