Fix some typos carried over in the export