Bug: 13606 Avoid (harmless) PHP warnings.