UserManual: Fix TCP server example.