Fixed an example in documentation