Minor fix before release