some debugging done