Fix example output in documentation.