minor changes to NoisyNonsmooth