A couple debug lines