correction of minor mistakes in texts