fix bug in sorted-paths-1: forgot case where x's size > y's size.
add comment