made minor changes, mostly formatting related.