Fix bug in SimpleProtocol example code