some debugging around