translate pagination (fixes #3507)