fixup! Better debug prints.