Fix debugging output