Trivial doc fix

There is no `Server.encode()`