Nothing much

just some debugging...