Avoid compilation warning.
Fix bug #3804.