minor syntactic and markup corrections