Small fix in rest file