Fix vdm/fml 'top' pagination handling.