Work around an uninitialized memory bug (#1747)