some debugging for #899