DH has been using a pole barn for storing firewood. Midwest has been hit with lots of rain. Big wet spot has developed inside bld about 10' from corner where downspout is located. Dirt in that corner is relatively dry, considering the amount of rain we've had. He wants to dig out the wet spot (it is about 3' to 4' in diameter) and fill it in with cement. Many sacks of cement. I'm thinking it would be better to fill it in with gravel. Many wheelbarrows of gravel. Then we got into a discussion of what sort of gravel--crushed limestone, big gravel, pea gravel?? Actually I'm thinking wait a couple days till it rains again, and check to see what the gutters are doing. But he is sure a spring or something is pushing to the surface. Anyway--any advice would be appreciated.