Update stein.html