Another debugging tweak