minor corrections syntactic and markup corrections