Fixing what appears to be some typos