pagination.html: Fix double slashes.