More debugging (3)