fix more stupid formatting issues