[Bug #8064] Suppress lint warning