Thank you all!
Yes, I don't like the stretched parts either, but I couldn't get rid of them. There is a displacement inside the rock shader (a cloud fractal) that makes those round shapes, which looks OK to me. But unfortunately the mapping (there are image maps as well as procedurals) is "below" the displacement, so the texture is distorted.