refinements to the running time