Updating documentation, small fixes