minor additions to client pseudocode