minor fixes in rest of document