It may have been an 18 hour pit stop. Whatever the length of the pit stop, it's not that big of a deal. They have to follow all the official rules and each team would have waited the right amount of time, no matter how long the pit stop was.