more minor format changes