Minor fix: version number.