a few desperate debugs