Remove obsolete lines used for debugging