Fix documentation examples