fixing of typos