fixed the fix

The fix is for the 2nd input of the responder instead of the 1st input. Also some minor mistakes of the example... ^^

Eventually, according to the slides the Secrecy of s must fail(?) instead of pass.