fix more formatting weirdness