WEB: update copyright info
WEB+SML: minor rewrite