Fixing some typos and other small improvements