a few debugging lines