Fix another warning introduced in 0c6ec5d8