big bugfix in Util.debug, would still print everything into a buffer and
then discard it!