Crypto: Small improvements in introduction