Sharper analysis of packet routing on a butterfly