Small fix in smart_rest.md