Fix a segfault in the DoubleSaturation test.