Fix a comment, there's no "page server" thread.