a few debug lines