WD11 - Line 1337:
Session Expiry Interval set to 0 - This should be Clean Start set to 1. Also suggest to clarify that a Session Expiry Interval from a previous session has an influence, but I suggest to reword by emphasizing on the previous session and saying that if the Server has a Session that hasn't expired, then it MUST set Session Present to 1 otherwise 0.