My point was that we "Should document what happens with the tail."  i.e. the comment here should say which way the choice is meant to go.