Web site: small fixes, typos and style