Fix bug introduced in [fd70c41]