Improve error message for empty --allow-newer= (fix #7740)