The comment about `left_over` is obsolete.