Fix bug introduced on 15baebc1