Modified therex documentation.