Removed obsolete debugging code