Fix a few typographical errors