Fix another warning introduced in 05fd7f08bf7981