Fixed type in documentation example