Simple bug in do_sensitivity(), corrected.