Fix examples in documentation