Fix zeroc-ice33 formula