Fix some style issues with TLSv1.3 state machine PR