Fix a compiler warning caused by commit 69e94310 for bug #724626