few debugging lines