A few corrections; various semantic domain entries