fix documentation for WhoisServer