Calm a benign compilation warning