slightly better debug output