REST documentation fix