Finite temperature correction to the Thomas–Fermi approximation for a Bose–Einstein condensate: comparison between theory and experiment