Minor tweak to suppress a compiler warning when targeting [redacted]