Some fixes in doc