Removed obsolete debugging stuff.