Quieten an incorrect compiler warning