minor fixes in doc