Add missing word 'ensures' in 32414f9