Stains on New Pool

We just had our first pool installed. The water has just been topped off today and I have a question about small stains. While the pool was filling with water it a rained and leaves blew into the pool. After the rain stopped, the sun dried everything out but stains were left behind from the leaves. Is this something that will go away or do I need to be more concerned? The builder of the pool will be back next week to finish off the deck and I'd like to be better educated before I started to question him.

Thanks for any help!