Smart paging rendering pager different from the Devel model
I found the solution: go to the Smart Paging settings page and uncheck "Use javascript pager as progressive enhancement for Drupal native pager"... as simple as that...