gravel & earth

Hi everyone
Wonder if you could give me some advice please?

we have taken down our greenhouse but in the process accidentally spilled a bag of very fine gravel onto the earth where it once stood.

I am hoping to extend the lawn onto this patch but am I ok to just rake the fine gravel into the earth and then put some grass down or is there something else I should be doing??

Many thanks.

Novice gardener Lolopo!

 

Do no harm, just rake it in. May even help with the drainage!

 

Ace thanks very much for your help.