Fix bug introduced in #c2c80edc