Correction of minor typos: ist -> is