Bug fix, and only > 3000