corrections, source formatting
added some LaTeX semantics, minor corrections