Out of curiosity, was jquery 1.7.2 required by the new navigation or were we simply updating to a newer version?