Minor edits; Comments, spelling, and semantics.