Fix a compilation warning about an uninitialized variable (but this is harmless)