Fixing three typos