minor fixes on documentation