Nested Sampling: added factor of 0.5 in exp(kT)->exp(kT/2)