Fix compiler warning (introduced by cdfecb8469efb882605c3421d7d0fa4eb55a5cce, #4720)