Fix debugging bug