more minor formating changes