avoid more webkit spurious warnings, fixes #17824