some corrections of sets_intuition.html