Hi! Nope, I definitely surveyed it (as mentioned in the changeset: `source=survey`) -- I can't imagine that guessing would make for a particularly helpful map! That said, it was long enough ago that I don't remember the area particularly well, and would certainly believe that I could have made a mistake, especially if you have contradictory information. Unfortunately, I'm not sure how to view that ticket, so the claim that it should be gravel instead is pretty unfalsifiable to me at the moment.