Minor changes in pagination()