Fixed some goofy mistakes in the documentation