fix pretty printing in debruijn term