improve handling of result list truncature
Authored by: Jean-Francois Dockes 2012-10-05
Parent(s): [770e38]
Child(ren): [9801f0]