FIXUP: fix constructor printing