Some fixes of documentation