More debugging, again 7