You're right, of course -- I'd forgotten all about that. Probably because my mind was so focused on finishing the whole hike at that point, which likely left that tunnel not registering in my mind as much as it might otherwise would have.