also fix typos from our last attmpt to update the documentation