Documentation and small fixes for Domain