I'm not sure whether or not we are planning to keep using the WordPress pagination anywhere, but in case we do we should fix this small issue (see screenshot)