fixing a few points in the documentation