some formatting changes in main