Documentation and formatting fixes