Minor fix in main release.