Updating documentation after various changes