FIXUP: remove debugging