minor formatting changes to look nicer