more formatting nits