Fix from John Dyson: the last param in a call to swap_pager_diskaddr