Added a few debug lines