Little fixes in chapter 2 and assumptions for protocol description