fix some dumb mistakes in the prufer decoder, should be OK now