minor cleanups in formatting