Editorial work: whitespaces, indentation, markup fixes.