fixed some small typos and rebuilt the archive