Binomial heap bug fixed.