Improvements to Mix & OTP chapter