Minor fix (#974)