some small server stuff and formatting