Minor fix for README.tx