There are a few mistakes, but they were already in the original files; a future commit will fix them.
