removed obsolete debugging code