Fix bug introduced in [394b3457]