Fix Peter's comments on the SelectServer documentation.