Fixes in doc