some fixes in doc