setters for REST interface; doc improvements