Documentation: Some updates