tcp: bug fix in proportional rate reduction.