Crypto lecture corrections