we want some info; added some debug lines