Fix positive/07-length_between testcase