Thank you for the tip.
I checked, and the problem is resolved. I also looked up what mipmaps are.
It's true that the texture now looks slightly worse up close than it could, given that it's supposed to be a decent "mid-range" setting. But it's still much better than it was before.