a few changes to nested sampling