syntax cleaning and some document corrections.