Fix a warning introduced in 0c6ec5d8