minor fixes on documents