Update ds9 formula to 7.2.