some debugging lines