Removed obsolete debugging code.