fixup: debug printing