Fix documentation example