Fix bug introduced in 635c40161