Silence an (unjustified) compiler warning.