Fix a typo in Beyond OTP talk

Reported by peerst.