Minor changes to ServerProtocol
fix