3.13: last fix for filtered pagination results