Fix docs for echo example