Fix example error in documentation.