Fix documentation code snippet.